Hanxleden, Reinhard Von: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Lisbon, Portugal (2018.10.1-2018.10.4)] 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Automatic Layout and Label Management for Compact UML Sequence Diagrams

Schulze, Christoph Daniel, Hoops, Gregor, von Hanxleden, Reinhard

Year:

2018

Language:

english

File:

PDF, 458 KB

english, 2018

2

Mapping esterel onto a multi-threaded embedded processor

Li, Xin, Boldt, Marian, von Hanxleden, Reinhard

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 479 KB

english, 2006

3

Worst Case Reaction Time Analysis of Concurrent Reactive Programs

Marian Boldt, Claus Traulsen, Reinhard von Hanxleden

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 353 KB

english, 2008

4

[IEEE 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - San Jose, CA, USA (2013.09.15-2013.09.19)] 2013 IEEE Symposium on Visual Languages and Human Centric Computing - KIELER: Building on automatic layout for pragmatics-aware modeling

Sponemann, Miro, Daniel Schulze, Christoph, Motika, Christian, Schneider, Christian, von Hanxleden, Reinhard

Year:

2013

Language:

english

File:

PDF, 208 KB

english, 2013

5

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - A concurrent reactive Esterel processor based on multi-threading

Li, Xin, von Hanxleden, Reinhard

Year:

2006

Language:

english

File:

PDF, 385 KB

english, 2006

6

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - SCEst: Sequentially constructive esterel

Rathlev, Karsten, Smyth, Steven, Motika, Christian, von Hanxleden, Reinhard, Mendler, Michael

Year:

2015

Language:

english

File:

PDF, 936 KB

english, 2015

7

[IEEE 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) - Toronto, ON, Canada (2017.5.16-2017.5.18)] 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) - A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor

Allen, Nathan, Pearce, Hammond, Roop, Partha, Hanxleden, Reinhard von

Year:

2017

Language:

english

File:

PDF, 401 KB

english, 2017

8

SCEst

Smyth, Steven, Motika, Christian, Rathlev, Karsten, Hanxleden, Reinhard Von, Mendler, Michael

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 2.46 MB

english, 2017

9

[ACM Press the 5th IEEE/ACM international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis - CODES+ISSS '07 - HW/SW co-design for Esterel processing

Gädtke, Sascha, Traulsen, Claus, von Hanxleden, Reinhard

Year:

2007

Language:

english

File:

PDF, 537 KB

english, 2007

10

[IEEE 2018 Forum on specification & Design Languages (FDL) - Garching (2018.9.10-2018.9.12)] 2018 Forum on Specification & Design Languages (FDL) - Time in SCCharts

Schulz-Rosengarten, Alexander, Von Hanxleden, Reinhard, Mallet, Frederic, De Simone, Robert, Deantoni, Julien

Year:

2018

Language:

english

File:

PDF, 346 KB

english, 2018

11

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

Hanxleden, Reinhard Von, Mendler, Michael, Aguado, Joaquín, Duderstadt, Björn, Fuhrmann, Insa, Motika, Christian, Mercer, Stephen, O'brien, Owen, Roop, Partha

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 2.40 MB

english, 2014

12

[ACM Press the ACM SIGPLAN 1994 conference - Orlando, Florida, United States (1994.06.20-1994.06.24)] Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation - PLDI '94 - GIVE-N-TAKE---a balanced code placement framework

von Hanxleden, Reinhard, Kennedy, Ken

Year:

1994

Language:

english

File:

PDF, 1.30 MB

english, 1994

13

[ACM Press the 12th international conference - San Jose, California, USA (2006.10.21-2006.10.25)] Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII - Mapping esterel onto a multi-threaded embedded processor

Li, Xin, Boldt, Marian, von Hanxleden, Reinhard

Year:

2006

Language:

english

File:

PDF, 479 KB

english, 2006

14

[ACM Press the 24th International Conference - Brest, France (2016.10.19-2016.10.21)] Proceedings of the 24th International Conference on Real-Time Networks and Systems - RTNS '16 - Time for Reactive System Modeling

Fuhrmann, Insa, Broman, David, von Hanxleden, Reinhard, Schulz-Rosengarten, Alexander

Year:

2016

Language:

english

File:

PDF, 1.10 MB

english, 2016

15

Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java

Motika, Christian, von Hanxleden, Reinhard

Journal:

Year:

2015

Language:

english

File:

PDF, 1.83 MB

english, 2015

16

Mapping esterel onto a multi-threaded embedded processor

Li, Xin, Boldt, Marian, von Hanxleden, Reinhard

Journal:

ACM SIGARCH Computer Architecture News

Year:

2006

Language:

english

File:

PDF, 479 KB

english, 2006

17

[ACM Press the 2009 international conference - Grenoble, France (2009.10.11-2009.10.16)] Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems - CASES '09 - Tight WCRT analysis of synchronous C programs

Roop, Partha S., Andalam, Sidharta, von Hanxleden, Reinhard, Yuan, Simon, Traulsen, Claus

Year:

2009

Language:

english

File:

PDF, 744 KB

english, 2009

18

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Visual Comparison of Graphical Models

Schipper, Arne, Fuhrmann, Hauke, Hanxleden, Reinhard von

Year:

2009

Language:

english

File:

PDF, 334 KB

english, 2009

19

[IEEE 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Cambridge, United Kingdom (2016.9.4-2016.9.8)] 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Label management: Keeping complex diagrams usable

Daniel Schulze, Christoph, Lasch, Yella, von Hanxleden, Reinhard

Year:

2016

Language:

english

File:

PDF, 263 KB

english, 2016

20

Runtime Enforcement of Cyber-Physical Systems

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Allen, Nathan, Tripakis, Stavros, Hanxleden, Reinhard Von

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 784 KB

english, 2017

21

Removing Cycles in Esterel Programs

Lukoschus, Jan, von Hanxleden, Reinhard

Journal:

EURASIP Journal on Embedded Systems

Year:

2006

Language:

english

File:

PDF, 563 KB

english, 2006

22

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation

von Hanxleden, Reinhard, Mendler, Michael, Aguado, Joaquin, Duderstadt, Bjorn, Fuhrmann, Insa, Motika, Christian, Mercer, Stephen, O'Brien, Owen

Year:

2013

Language:

english

File:

PDF, 363 KB

english, 2013

23

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Runtime enforcement of reactive systems using synchronous enforcers

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Tripakis, Stavros, Hanxleden, Reinhard von

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

24

[IEEE 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - Bratislava (2018.6.25-2018.6.29)] 2018 18th International Conference on Application of Concurrency to System Design (ACSD) - On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems—A Sequentially Constructive Circuit Semantics for Esterel

Schulz-Rosengarten, Alexander, Smyth, Steven, von Hanxleden, Reinhard, Mendler, Michael

Year:

2018

Language:

english

File:

PDF, 287 KB

english, 2018

25

[IEEE 2013 IEEE 16th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Paderborn, Germany (2013.6.19-2013.6.21)] 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013) - Programming deterministic reactive systems with Synchronous Java

Motika, Christian, von Hanxleden, Reinhard, Heinold, Mirko

Year:

2013

Language:

english

File:

PDF, 481 KB

english, 2013

26

A balanced code placement framework

von Hanxleden, Reinhard, Kennedy, Ken

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 512 KB

english, 2000

27

[ACM Press the seventh ACM international conference - Grenoble, France (2009.10.12-2009.10.16)] Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 - SyncCharts in C

von Hanxleden, Reinhard

Year:

2009

Language:

english

File:

PDF, 762 KB

english, 2009

28

GIVE-N-TAKE---a balanced code placement framework

von Hanxleden, Reinhard, Kennedy, Ken

Journal:

ACM SIGPLAN Notices

Year:

1994

Language:

english

File:

PDF, 1.30 MB

english, 1994

29

[IEEE 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Melbourne, Australia (2014.7.28-2014.8.1)] 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Automatic layout in the face of unattached comments

Daniel Schulze, Christoph, von Hanxleden, Reinhard

Year:

2014

Language:

english

File:

PDF, 1.77 MB

english, 2014

30

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - SCCharts: sequentially constructive statecharts for safety-critical applications

von Hanxleden, Reinhard, Duderstadt, Björn, Motika, Christian, Smyth, Steven, Mendler, Michael, Aguado, Joaquín, Mercer, Stephen, O'Brien, Owen

Year:

2013

Language:

english

File:

PDF, 3.43 MB

english, 2013

31

Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing

Boldt, Marian, Traulsen, Claus, von Hanxleden, Reinhard

Journal:

EURASIP Journal on Embedded Systems

Year:

2007

Language:

english

File:

PDF, 816 KB

english, 2007

32

[ACM Press the ACM/IEEE 19th International Conference - Saint-malo, France (2016.10.02-2016.10.07)] Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16 - Incremental diagram layout for automated model migration

Rüegg, Ulf, Lakkundi, Rajneesh, Prasad, Ashwin, Kodaganur, Anand, Schulze, Christoph Daniel, von Hanxleden, Reinhard

Year:

2016

Language:

english

File:

PDF, 471 KB

english, 2016

33

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency

Aguado, Joaquín, Mendler, Michael, von Hanxleden, Reinhard, Fuhrmann, Insa

Journal:

Acta Informatica

Year:

2015

Language:

english

File:

PDF, 1.61 MB

english, 2015

34

Synthesizing safe state machines from Esterel

Prochnow, Steffen, Traulsen, Claus, von Hanxleden, Reinhard

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 775 KB

english, 2006

35

[IEEE 2017 Forum on Specification and Design Languages (FDL) - Verona (2017.9.18-2017.9.20)] 2017 Forum on Specification and Design Languages (FDL) - Real-time ticks for synchronous programming

von Hanxleden, Reinhard, Bourke, Timothy, Girault, Alain

Year:

2017

Language:

english

File:

PDF, 184 KB

english, 2017

36

Drawing layered graphs with port constraints

Schulze, Christoph Daniel, Spönemann, Miro, von Hanxleden, Reinhard

Journal:

Journal of Visual Languages & Computing

Year:

2014

Language:

english

File:

PDF, 1.41 MB

english, 2014

37

TEETH-GRINDING AND ADENOIDS.

Schulze, Christoph Daniel, Spönemann, Miro, von Hanxleden, Reinhard

Journal:

Year:

1915

Language:

english

File:

PDF, 357 KB

english, 1915

38

[IEEE 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - San Jose, CA, USA (2013.09.15-2013.09.19)] 2013 IEEE Symposium on Visual Languages and Human Centric Computing - Just model! — Putting automatic synthesis of node-link-diagrams into practice

Schneider, Christian, Sponemann, Miro, von Hanxleden, Reinhard

Year:

2013

Language:

english

File:

PDF, 329 KB

english, 2013

39

Building timing predictable embedded systems

Axer, Philip, Rochange, Christine, Sebastian, Maurice, Hanxleden, Reinhard Von, Wilhelm, Reinhard, Yi, Wang, Ernst, Rolf, Falk, Heiko, Girault, Alain, Grund, Daniel, Guan, Nan, Jonsson, Bengt, Marwede

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 618 KB

english, 2014

40

[IEEE 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Melbourne, Australia (2014.7.28-2014.8.1)] 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) - Two applications for transient views in software development environments

Daniel Schulze, Christoph, Sponemann, Miro, Schneider, Christian, von Hanxleden, Reinhard

Year:

2014

Language:

english

File:

PDF, 1.14 MB

english, 2014

41

Mapping esterel onto a multi-threaded embedded processor

Li, Xin, Boldt, Marian, von Hanxleden, Reinhard

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 479 KB

english, 2006

42

[ACM Press the 5th ACM SIGPLAN International Workshop - Boston, MA, USA (2018.11.04-2018.11.04)] Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2018 - Synthesizing manually verifiable code for statecharts

Smyth, Steven, Motika, Christian, von Hanxleden, Reinhard

Year:

2018

File:

PDF, 1.90 MB

2018

43

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Reactive parallel processing for synchronous dataflow

Traulsen, Claus, von Hanxleden, Reinhard

Year:

2010

Language:

english

File:

PDF, 573 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски